Michael Codish: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Analyzing logic programs using “prop”-ositional logic programs and a magic wand

Michael Codish, Bart Demoen

Journal:

The Journal of Logic Programming

Year:

1995

Language:

english

File:

PDF, 1.46 MB

english, 1995

2

Constraints for symmetry breaking in graph representation

Codish, Michael, Miller, Alice, Prosser, Patrick, Stuckey, Peter J.

Journal:

Year:

2018

Language:

english

File:

PDF, 2.90 MB

english, 2018

3

Efficient goal directed bottom-up evaluation of logic programs

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 1.04 MB

english, 1999

4

Mud compress therapy for the hands of patients with rheumatoid arthritis

Shlomi Codish, Mahmoud Abu-Shakra, Daniel Flusser, Michael Friger, Shaul Sukenik

Journal:

Rheumatology International

Year:

2005

Language:

english

File:

PDF, 182 KB

english, 2005

5

Type dependencies for logic programs using ACI-unification

Michael Codish, Vitaly Lagoon

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 197 KB

english, 2000

6

Sorting nine inputs requires twenty-five comparisons

Codish, Michael, Cruz-Filipe, Luís, Frank, Michael, Schneider-Kamp, Peter

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 661 KB

english, 2016

7

[ACM Press the 19th ACM SIGPLAN-SIGACT symposium - Albuquerque, New Mexico, United States (1992.01.19-1992.01.22)] Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92 - Modelling Prolog control

Barbuti, Roberto, Codish, Michael, Giacobazzi, Roberto, Levi, Giorgio

Year:

1992

Language:

english

File:

PDF, 890 KB

english, 1992

8

A simple polynomial groundness analysis for logic programs

Andy Heaton, Muhamed Abo-Zaed, Michael Codish, Andy King

Journal:

The Journal of Logic Programming

Year:

2000

Language:

english

File:

PDF, 169 KB

english, 2000

9

Inferring termination conditions for logic programs using backwards analysis

GENAIM, SAMIR, CODISH, MICHAEL

Journal:

Theory and Practice of Logic Programming

Year:

2005

Language:

english

File:

PDF, 175 KB

english, 2005

10

Solving Partial Order Constraints for LPO Termination

Codish, Michael, Lagoon, Vitaly, Stuckey, Peter J., Velev, Miroslav N.

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2008

File:

PDF, 562 KB

2008

11

Bottom-up abstract interpretation of logic programs

Michael Codish, Dennis Dams, Eyal Yardeni

Journal:

Theoretical Computer Science

Year:

1994

Language:

english

File:

PDF, 2.09 MB

english, 1994

12

Semantics-based program analysis for logic-based languages using XSB

Michael Codish, Bart Demoen, Konstantinos Sagonas

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

1998

Language:

english

File:

PDF, 373 KB

english, 1998

13

Compiling OR-parallelism into AND-parallelism

Michael Codish, Ehud Shapiro

Journal:

New Generation Computing

Year:

1987

Language:

english

File:

PDF, 848 KB

english, 1987

14

[IEEE 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Romania (2014.9.22-2014.9.25)] 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes

Codish, Michael, Cruz-Filipe, Luis, Schneider-Kamp, Peter

Year:

2014

Language:

english

File:

PDF, 241 KB

english, 2014

15

Proving implications by algebraic approximation

Michael Codish, Grigory Mashevitzky

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 1.24 MB

english, 1996

16

Temporal trends in patient characteristics and survival of intensive care admissions with sepsis

Dreiher, Jacob, Almog, Yaniv, Sprung, Charles L., Codish, Shlomi, Klein, Moti, Einav, Sharon, Bar-Lavie, Yaron, Singer, Pierre P., Nimrod, Adi, Sachs, Jeffrey, Talmor, Daniel, Friger, Michael, Greenbe

Journal:

Critical Care Medicine

Year:

2012

Language:

english

File:

PDF, 533 KB

english, 2012

17

[IEEE 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2018.9.20-2018.9.23)] 2018 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - SAT-Based Big-Step Local Search

Muslimany, Morad, Codish, Michael

Year:

2018

Language:

english

File:

PDF, 145 KB

english, 2018

18

LONG-TERM SURVIVAL OF OCTOGENARIANS FOLLOWING INTENSIVE CARE ADMISSION WITH SEPSIS: A MULTICENTER STUDY

Jacob Dreiher, Sharon Einav, Shlomi Codish, Pierre Singer, Daniel Talmor, Yaniv Almog, Michael Friger, Victor Novack

Journal:

European Journal of Internal Medicine

Year:

2011

Language:

english

File:

PDF, 73 KB

english, 2011

19

Therapy With Mud Compresses for Knee Osteoarthritis

Flusser, Daniel, Abu-Shakra, Mahmoud, Friger, Michael, Codish, Shlomi, Sukenik, Shaul

Journal:

JCR Journal of Clinical Rheumatology

Year:

2002

Language:

english

File:

PDF, 870 KB

english, 2002

20

Exploiting goal independence in the analysis of logic programs

Michael Codish, Maurice Bruynooghe, Maria García De La Banda, Manuel Hermenegildo

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 880 KB

english, 1997

21

Improving abstract interpretations by combining domains

Codish, Michael, Mulkers, Anne, Bruynooghe, Maurice, de la Banda, Maria García, Hermenegildo, Manuel

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1995

Language:

english

File:

PDF, 1.10 MB

english, 1995

22

[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Compositional analysis of modular logic programs

Codish, Michael, Debray, Saumya K., Giacobazzi, Roberto

Year:

1993

Language:

english

File:

PDF, 1.28 MB

english, 1993

23

Optimal-depth sorting networks

Bundala, Daniel, Codish, Michael, Cruz-Filipe, Luís, Schneider-Kamp, Peter, Závodný, Jakub

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 996 KB

english, 2016

24

On the design of a correct freeness analysis for logic programs

Michael Codish, Dennis Dams, Gilberto Filé, Maurice Bruynooghe

Journal:

The Journal of Logic Programming

Year:

1996

Language:

english

File:

PDF, 1.47 MB

english, 1996

25

A semantic basis for the termination analysis of logic programs

Michael Codish, Cohavit Taboch

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 287 KB

english, 1999

26

An algebraic approach to sharing analysis of logic programs

Michael Codish, Vitaly Lagoon, Francisco Bueno

Journal:

The Journal of Logic Programming

Year:

2000

Language:

english

File:

PDF, 2.68 MB

english, 2000

27

Improving program analyses, by structure untupling

Michael Codish, Kim Marriott, Cohavit Taboch

Journal:

The Journal of Logic Programming

Year:

2000

Language:

english

File:

PDF, 127 KB

english, 2000

28

Compiling finite domain constraints to SAT with BEE

METODI, AMIT, CODISH, MICHAEL

Journal:

Theory and Practice of Logic Programming

Year:

2012

Language:

english

File:

PDF, 197 KB

english, 2012

29

A confluent semantic basis for the analysis of concurrent constraint logic programs

Michael Codish, Moreno Falaschi, Kim Marriott, William Winsborough

Journal:

The Journal of Logic Programming

Year:

1997

Language:

english

File:

PDF, 1.77 MB

english, 1997

30

Specialisation of Prolog and FCP programs using abstract interpretation

John Gallagher, Michael Codish, Ehud Shapiro

Journal:

New Generation Computing

Year:

1988

Language:

english

File:

PDF, 1.31 MB

english, 1988

31

[ACM Press the 11th ACM SIGPLAN conference - Coimbra, Portugal (2009.09.07-2009.09.09)] Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 - A declarative encoding of telecommunications feature subscription in SAT

Codish, Michael, Genaim, Samir, Stuckey, Peter J.

Year:

2009

Language:

english

File:

PDF, 538 KB

english, 2009

32

Optimizing sorting algorithms by using sorting networks

Codish, Michael, Cruz-Filipe, Luís, Nebel, Markus, Schneider-Kamp, Peter

Journal:

Formal Aspects of Computing

Year:

2017

Language:

english

File:

PDF, 1.09 MB

english, 2017

33

SAT Solving for Termination Proofs with Recursive Path Orders and Dependency Pairs

Michael Codish, Jürgen Giesl, Peter Schneider-Kamp, René Thiemann

Journal:

Journal of Automated Reasoning

Year:

2012

Language:

english

File:

PDF, 673 KB

english, 2012

34

Worst-case groundness analysis using definite Boolean functions

GENAIM, SAMIR, CODISH, MICHAEL, HOWE, JACOB M.

Journal:

Theory and Practice of Logic Programming

Year:

2001

Language:

english

File:

PDF, 140 KB

english, 2001

35

Modelling Prolog Control

BARBUTI, ROBERTO, CODISH, MICHAEL, GIACOBAZZI, ROBERTO, LEVI, GIORGIO

Journal:

Journal of Logic and Computation

Year:

1993

Language:

english

File:

PDF, 1.05 MB

english, 1993

36

Worst-case groundness analysis using positive Boolean functions

Journal:

The Journal of Logic Programming

Year:

1999

Language:

english

File:

PDF, 61 KB

english, 1999

37

Suspension analyses for concurrent logic programs

Codish, Michael, Falaschi, Moreno, Marriott, Kim

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1994

Language:

english

File:

PDF, 2.16 MB

english, 1994

38

Logic programming with satisfiability

CODISH, MICHAEL, LAGOON, VITALY, STUCKEY, PETER J.

Journal:

Theory and Practice of Logic Programming

Year:

2008

Language:

english

File:

PDF, 96 KB

english, 2008

39

Propagation via lazy clause generation

Olga Ohrimenko, Peter J. Stuckey, Michael Codish

Journal:

Year:

2009

Language:

english

File:

PDF, 630 KB

english, 2009

40

Sharing and groundness dependencies in logic programs

Codish, Michael, Søndergaard, Harald, Stuckey, Peter J.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1999

Language:

english

File:

PDF, 334 KB

english, 1999

41

Computing the Ramsey number R(4,3,3) using abstraction and symmetry breaking

Codish, Michael, Frank, Michael, Itzhakov, Avraham, Miller, Alice

Journal:

Year:

2016

Language:

english

File:

PDF, 1.08 MB

english, 2016

42

Sorting networks: To the end and back again

Codish, Michael, Cruz-Filipe, Luís, Ehlers, Thorsten, Müller, Mike, Schneider-Kamp, Peter

Journal:

Journal of Computer and System Sciences

Year:

2016

Language:

english

File:

PDF, 994 KB

english, 2016

43

Breaking symmetries in graph search with canonizing sets

Itzhakov, Avraham, Codish, Michael

Journal:

Year:

2016

Language:

english

File:

PDF, 637 KB

english, 2016

44

SAT-based termination analysis using monotonicity constraints over the integers

CODISH, MICHAEL, GONOPOLSKIY, IGOR, BEN-AMRAM, AMIR M., FUHS, CARSTEN, GIESL, JÜRGEN

Journal:

Theory and Practice of Logic Programming

Year:

2011

Language:

english

File:

PDF, 189 KB

english, 2011

45

Effectiveness of stringent decontamination of computer input devices in the era of electronic medical records and bedside computing: A randomized controlled trial

Codish, Shlomi, Toledano, Ronen, Novack, Victor, Sherf, Michael, Borer, Abraham

Journal:

American Journal of Infection Control

Year:

2015

Language:

english

File:

PDF, 167 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски